Bona ordo

En matematiko, bona ordo sur aro S estas ordo-rilato sur S kun la propraĵo ke ĉiu ne-malplena subaro de S havas plej malgrandan elementon laŭ ĉi tiu ordo. La aro S kaj ankaŭ la bona ordo estas tiam kune nomataj kiel bonorda aro. Bona ordo estas bezone tuteca ordo.

Malglate parolante, bonorda aro estas ordita en tia maniero ke elementoj povas esti konsiderataj unuope, en ordo, kaj ĉiumomente ne necesas ekzameni ĉiujn elementojn, ĉiam estas unika venonta elemento por konsideri. En bonorda aro senfina malkreskanta vico ne povas ekzisti.